Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems
نویسندگان
چکیده
منابع مشابه
Existence of non-trivial solutions for fractional Schrödinger-Poisson systems with subcritical growth
In this paper, we are concerned with the following fractional Schrödinger-Poisson system: (−∆s)u + u + λφu = µf(u) +|u|p−2|u|, x ∈R3 (−∆t)φ = u2, x ∈R3 where λ,µ are two parameters, s,t ∈ (0,1] ,2t + 4s > 3 ,1 < p ≤ 2∗ s and f : R → R is continuous function. Using some critical point theorems and truncation technique, we obtain the existence and multiplicity of non-trivial solutions with ...
متن کاملOn a class of nonlinear fractional Schrödinger-Poisson systems
In this paper, we are concerned with the following fractional Schrödinger-Poisson system: (−∆s)u + V (x)u + φu = m(x)|u|q−2|u|+ f(x,u), x ∈ Ω, (−∆t)φ = u2, x ∈ Ω, u = φ = 0, x ∈ ∂Ω, where s,t ∈ (0,1], 2t + 4s > 3, 1 < q < 2 and Ω is a bounded smooth domain of R3, and f(x,u) is linearly bounded in u at infinity. Under some assumptions on m, V and f we obtain the existence of non-trivial so...
متن کاملNumerical solution for one-dimensional independent of time Schrödinger Equation
In this paper, one of the numerical solution method of one- particle, one dimensional timeindependentSchrodinger equation are presented that allows one to obtain accurate bound state eigenvalues and functions for an arbitrary potential energy function V(x).For each case, we draw eigen functions versus the related reduced variable for the correspondingenergies. The paper ended with a comparison ...
متن کاملComputer-Assisted Simulation Proofs
This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I/O automata to extract a set of proof obligations for showing that the behaviors of one algorithm are among those of another, and it uses the Larch tools for speci cation and deduction to discharge these obligations in a natural and easy-to-read fashion. The approach is demonstrate...
متن کاملnumerical solution for one-dimensional independent of time schrödinger equation
in this paper, one of the numerical solution method of one- particle, one dimensional timeindependentschrodinger equation are presented that allows one to obtain accurate bound state eigenvalues and functions for an arbitrary potential energy function v(x).for each case, we draw eigen functions versus the related reduced variable for the correspondingenergies. the paper ended with a comparison ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Cybernetica
سال: 2020
ISSN: 2676-993X,0324-721X
DOI: 10.14232/actacyb.24.3.2020.6